Resultaten visas 1 - 10 / 1099
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Formal reasoning about resilient goal-oriented multi-agent systems

Referentgranskad
DOI
10.1016/j.scico.2017.05.008
Inna Vistbakka; I. Pereverzeva; Elena Troubitsyna
Science of Computer Programming2017Publicationer information ikon

Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems

Öppen tillgång
Linas Laibinis; Inna Pereverzeva; Elena Troubitsyna
-2015Publicationer information ikon

Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-030-32872-6_24
Inna Vistbakka; Elena Troubitsyna
Model-Based Safety and Assessment. IMBSA 20192019Publicationer information ikon

Priorities and Nonmonotonic Reasoning

Rintanen, J.
-1993Publicationer information ikon

Fuzzy Reasoning in Plant Design

Referentgranskad
Hurme, M.; Järveläinen, M.
-1994Publicationer information ikon

Linking informal and formal mathematical reasoning: two directions across the same bridge

Referentgranskad
McMullen Jake, Resnick Lauren
Proceedings of the PME Conference2018Publicationer information ikon

Law students’ descriptions of legal reasoning

Referentgranskad
Öppen tillgång
DOI
10.1080/03069400.2022.2057754
Haarala-Muhonen, Anne; Hyytinen, Heidi; Tuononen, Tarja; Melander, Sakari
The Law Teacher2022Publicationer information ikon

Petri Net Analysis and Nonmonotonic Reasoning

Referentgranskad
Heljanko, Keijo; Niemelä, Ilkka
Helsinki University of Technology2000Publicationer information ikon

Formal Derivation of Distributed MapReduce

Referentgranskad
DOI
10.1007/978-3-662-43652-3_21
I Pereverzeva; M Butler; AS Fathabadi; Inna Vistbakka; Linas Laibinis
Proceedings of ABZ 20142014Publicationer information ikon

Formal Derivation of Distributed MapReduce

Öppen tillgång
Linas Laibinis; Michael Butler; Asieh Salehi Fathabadi; Inna Vistbakka; Elena Troubitsyna
Turku Centre for Computer Science (TUCS)2014

Formal reasoning about resilient goal-oriented multi-agent systems

Referentgranskad
DOI
10.1016/j.scico.2017.05.008
2017

Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems

Öppen tillgång
2015

Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-030-32872-6_24
2019

Priorities and Nonmonotonic Reasoning

1993

Fuzzy Reasoning in Plant Design

Referentgranskad
1994

Linking informal and formal mathematical reasoning: two directions across the same bridge

Referentgranskad
2018

Law students’ descriptions of legal reasoning

Referentgranskad
Öppen tillgång
DOI
10.1080/03069400.2022.2057754
2022

Petri Net Analysis and Nonmonotonic Reasoning

Referentgranskad
2000

Formal Derivation of Distributed MapReduce

Referentgranskad
DOI
10.1007/978-3-662-43652-3_21
2014

Formal Derivation of Distributed MapReduce

Öppen tillgång
2014